Section: New Results

Distributed Programming Models

Multi-active Objects

Participants : L. Henrio, I. Zsolt, F. Huet.

The active object programming model is particularly adapted to easily program distributed objects: it separates objects into several activities, each manipulated by a single thread, preventing data races. However, this programming model has its limitations in terms of expressiveness – risk of deadlocks – and of efficiency on multicore machines. We proposed extends active objects with local multi-threading. We rely on declarative annotations for expressing potential concurrency between requests, allowing easy and high-level expression of concurrency. This year contribution includes

• publication of the basic principles of the new model [25]

• refinement of the proposal and adding dynamic compatibility

• operational semantic for multi-active objects

• extensive experiments